void initDriver(int driverId, int who_e, int *driverEndPts){
	int s, i;
	message m;
	driverEndPts[driverId]=who_e;
	printf("driverId: %d endpoint added in pm, number : %d\n",driverId,driverEndPts[driverId]);

	for(i=0; i<NO_RT_DEVICES;i++){
		if(i==driverId){
			continue;
		}
		printf("endpoint from id %d = %d\n",i,driverEndPts[i]);
		if(driverEndPts[i]!=0){		/*Driver allready up, announce the new drivers endpoint*/
			printf("sending message from id: %d to %d\n",driverId, i);
			m.m_type=SEND_ENDPOINT;
			m.RT_DRIVER_ENDPT=who_e;
			m.RT_DRIVER_ID=driverId;
			if(OK!= (s=send(driverEndPts[i], &m))){
				panic("Did not send driverId: %d endpoint to driverId: %d\n",driverId,i);
			}
		}
	}
}
